From: Keir Fraser <keir.fraser@citrix.com>
Date: Wed, 9 Jul 2008 12:01:16 +0000 (+0100)
Subject: stubdom: fix missing evtchn.h header
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14188^2~67
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=ac955d7f113655c533fcdf4c148f84f79615684e;p=xen.git

stubdom: fix missing evtchn.h header

We actually do not need any since we include MiniOS' headers.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
---

diff --git a/tools/libxc/xc_minios.c b/tools/libxc/xc_minios.c
index aceb387afb..c57b7a5b7d 100644
--- a/tools/libxc/xc_minios.c
+++ b/tools/libxc/xc_minios.c
@@ -21,7 +21,6 @@
 #include <errno.h>
 
 #include <xen/memory.h>
-#include <xen/sys/evtchn.h>
 #include <unistd.h>
 #include <fcntl.h>
 #include <stdio.h>